Recovery in Heterogeneous System
نویسندگان
چکیده
We discuss backward error recovery for large software systems, where different subsystems may belong to essentially different application areas, like databases and process control. Examples of such systems are found in modern telecommunication, transportation, manufacturing and military applications. Such heterogeneous subsystems are naturally built according to different design "models", viz. the "object-action" model (where the long-term state of the computation is encapsulated in data objects, and active processes invoke operations on these objects), and the "process-conversation" model (where the state is contained in the processes, communicating via messages), which also imply different ways of organising backward error recovery. In the objectaction model, backward recovery is naturally organised via atomic transactions; in the process-conversation model, via conversations. We show how checkpointing and roll-back can be co-ordinated between two sets of such heterogeneous subsystems, namely sets of message passing processes organised in conversations and data servers offering atomic transactions. Our solution involves altering the virtual machine on which the programs run, and programming conventions which seem rather natural and can be automatically enforced. We demonstrate the feasibility of the approach by showing how it would work with the Ada language, and show a toy example.
منابع مشابه
Vacation model for Markov machine repair problem with two heterogeneous unreliable servers and threshold recovery
Markov model of multi-component machining system comprising two unreliable heterogeneous servers and mixed type of standby support has been studied. The repair job of broken down machines is done on the basis of bi-level threshold policy for the activation of the servers. The server returns back to render repair job when the pre-specified workload of failed machines is build up. The first (seco...
متن کاملSynthesis of 14H-dibenzo[a.j]xanthenes using Co@pyr/APTZCMNPs as a novel heterogeneous nanocatalyst
Co@pyr/APTZCMNPs was synthesized, and some of its characteristic analyses, such as Fourier transform infrared spectroscopy (FTIR), thermogravimetric analysis (TGA), scanning electron microscopy (SEM), energy dispersive X-ray (EDX) and X-ray diffraction (XRD) were investigated. The results indicated that this heterogeneous catalyst was an excellent and reusable system to synthesize of 14H</e...
متن کاملSynthesis of 14H-dibenzo[a.j]xanthenes using Co@pyr/APTZCMNPs as a novel heterogeneous nanocatalyst
Co@pyr/APTZCMNPs was synthesized, and some of its characteristic analyses, such as Fourier transform infrared spectroscopy (FTIR), thermogravimetric analysis (TGA), scanning electron microscopy (SEM), energy dispersive X-ray (EDX) and X-ray diffraction (XRD) were investigated. The results indicated that this heterogeneous catalyst was an excellent and reusable system to synthesize of 14H</e...
متن کاملPolymer-supported basic ionic liquid as an efficient heterogeneous catalyst system for straightforward synthesis of flavanones
Aromatic aldehydes are efficiently condensed with 2'-hydroxyacetophenone by polymer-supported basic ionic liquid as an excellent heterogeneous catalyst utilizing the Claisen–Schmidt reaction. Microwave irradiation has been employed, providing flavanone in good yield and short reaction time.
متن کاملNano-silica supported ethane-sulfonic acid: An efficient heterogeneous solid acid catalyst for one-pot synthesis of xanthene and acridine derivatives
In this study, silica nanoparticles were used as support to prepare a new heterogeneous catalyst system for application in organic reactions. The reaction of silica nanoparticles with sodium 2-bromoethane-1-sulfonate resulted in the connection of a sulfonic acid group on the surface of silica nanoparticles (NSESA). The synthetic catalyst system was characterized using different microscopic and ...
متن کاملPolymer-supported basic ionic liquid as an efficient heterogeneous catalyst system for straightforward synthesis of flavanones
Aromatic aldehydes are efficiently condensed with 2'-hydroxyacetophenone by polymer-supported basic ionic liquid as an excellent heterogeneous catalyst utilizing the Claisen–Schmidt reaction. Microwave irradiation has been employed, providing flavanone in good yield and short reaction time.
متن کامل